Visibly Push-down Automata